Resolution theorem proving
[计] 归结定理证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
Simply this.
简单说来是这样的。
He who shareth honey with the bear hath the least part of it.
与熊分蜜糖，得不到多少。
Right. See you.
好吧。再见。